(info-gmake, info-nmake): New targets.

(info): Use them.

diff --git a/nt/makefile.w32-in b/nt/makefile.w32-in
index 52455a0a2d89fb34b5d247e1f4928b98afb59eff..4f619b3f2e35b10051a4c1b8d2c3bc85566f65d1 100644 (file)
--- a/nt/makefile.w32-in
+++ b/nt/makefile.w32-in
@@ -217,11 +217,20 @@ force-info:
 # Note that man/makefile knows how to\r
 # put the info files in $(infodir),\r
 # so we can do ok running make in the build dir.\r
-info: force-info\r
-       (cd ..\man && $(MAKE) $(MFLAGS) info)\r
-       (cd ..\lispref && $(MAKE) $(MFLAGS) info)\r
-       (cd ..\lispintro && $(MAKE) $(MFLAGS) info)\r
+info: force-info info-$(MAKETYPE)\r
 \r
+info-nmake:\r
+       cd ..\man\r
+       $(MAKE) $(MFLAGS) info\r
+       cd ..\lispref\r
+       $(MAKE) $(MFLAGS) info\r
+       cd ..\lispintro\r
+       $(MAKE) $(MFLAGS) info\r
+\r
+info-gmake:\r
+       $(MAKE) $(MFLAGS) -C ../man info\r
+       $(MAKE) $(MFLAGS) -C ../lispref info\r
+       $(MAKE) $(MFLAGS) -C ../lispintro info\r
 #\r
 # Maintenance\r
 #\r